Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
61	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2014-05-05 09:39:38 Complexity classes Logic programming Mathematical optimization Operations research Answer set programming NP-complete problems Stable model semantics Tree decomposition NP-complete Theoretical computer science Computational complexity theory Applied mathematics
62	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-06-11 04:13:26 Theoretical computer science Stable model semantics Answer set programming Hypertree Term algebra Function Valuation Tree decomposition Graph theory Mathematics Logic programming
63	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-12-09 02:07:29 Logic programming Critical thinking Non-classical logic Philosophical logic Stable model semantics Argumentation theory Answer set programming Modal logic Function Logic Mathematics Mathematical logic
64	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-15 08:22:23 Logic Thought Debating Argumentation theory Criticism Argument Stable model semantics Informal logic Chaïm Perelman Critical thinking Arguments Science
65	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-04-15 07:03:50 Model theory Stable model semantics Philosophical logic Answer set programming Modal logic Type Formal methods Logic Logic programming Mathematical logic
66	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2011-07-05 03:47:02 Science Formal languages Model theory Semantics Stable model semantics Theoretical computer science Answer set programming Interpretation Argumentation theory Logic Mathematics Logic programming
67	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-01-31 02:46:26 Mathematical logic Stable model semantics Datalog Universal quantification FO Ground expression Answer set programming Logic programming Theoretical computer science Logic
68	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-17 10:05:08 Model theory Logic programming Boolean algebra Propositional calculus Stable model semantics Interpretation First-order logic If and only if Negation as failure Logic Mathematical logic Mathematics
69	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-12-01 02:15:47 Mathematics Stable model semantics Answer set programming Support FO Modal logic Logic programming Logic Mathematical logic
70	Towards Possibilistic Fuzzy Answer Set Programming Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:48:45 Fuzzy control system Stable model semantics Fuzzy set Possibility theory Answer set programming Fuzzy rule Logic programming Type-2 fuzzy sets and systems Fuzzy subalgebra Logic Fuzzy logic Mathematical logic

UPDATE